$\forall$$x$, $y$:$\mathbb{N}^{+}$. Dec($x$ = $y$)